A reinterpretation of Schönfinkel's logical operators
نویسندگان
چکیده
منابع مشابه
Ontology-revision operators based on reinterpretation
Communication between natural or artificial agents relies on the use of a common vocabulary. Since sharing terms does not necessarily imply that the terms have exactly the same meanings for all agents, integrating (trigger) statements into a formal ontology requires mechanisms for resolving conflicts that are caused by the ambiguity of terms specified in different but similar ontologies. We def...
متن کاملHigh Speed Full Swing Current Mode BiCMOS Logical Operators
In this paper the design of a new high-speed current mode BiCMOS logic circuits isproposed. By altering the threshold detector circuit of the conventional current mode logic circuitsand applying the multiple value logic (MVL) approach the number of transistors in basic logicoperators are significantly reduced and hence a reduction of chip area and power dissipation as wellas an increase in spee...
متن کاملA Process Calculus with Logical Operators
In order to combine operational and logical styles of specifications in one unified framework, the notion of logic labelled transition systems (Logic LTS, for short) has been presented and explored by Lüttgen and Vogler in [TCS 373(12):19-40; Inform. & Comput. 208:845-867]. In contrast with usual LTS, two logical constructors ∧ and ∨ over Logic LTSs are introduced to describe logical combinatio...
متن کاملLogical Operators for Ontological Modeling
We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the l...
متن کاملTexture classification using logical operators
In this paper, a new algorithm for texture classification based on logical operators is presented. Operators constructed from logical building blocks are convolved with texture images. An optimal set of six operators are selected based on their texture discrimination ability. The responses are then converted to standard deviation matrices computed over a sliding window. Zonal sampling features ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1936
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1936-06239-7